perm filename KNOW.ABS[W84,JMC] blob sn#740344 filedate 1984-01-24 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	know.abs[w84,jmc]	Abstract for lecture in Halpern seminar
C00004 ENDMK
CāŠ—;
know.abs[w84,jmc]	Abstract for lecture in Halpern seminar


	Several modal and first order formalisms will be presented
for expressing facts about knowledge and belief.  The novel features
of these formalisms arose from trying to express the reasoning involved
in solving the puzzle of the three wise men with spots on their foreheads
and the puzzle of Mr. S and Mr. P.  These include the ability to express
that all a person knows are certain facts and to express the effect of
learning a fact.  The relations among knowing that, knowing what and
knowing about will be briefly discussed.